TSTP Solution File: ANA105^1 by SInE---0.4